Experiences on teaching alloy with an automated assessment platform

This paper presents Alloy4Fun, a web application that enables online editing and sharing of Alloy models instances (including dynamic ones developed with the Electrum extension), to be used mainly in an educational context. By introducing secret paragraphs commands models, Alloy4Fun allows distribution automated assessment simple specification challenges, mechanism students learn language at their own pace. stores all versions shared analyzed as well derivation trees depict how they evolved over time: this wealth information can mined by researchers or tutors identify, for example, learning breakdowns class typical mistakes made users. A data analysis library is also provided support process. has been formal methods graduate courses 3 years latest editions we present results regarding its adoption students, preliminary insights most common bottlenecks when (and Electrum).